An Inference System for Exhaustive Generation of Mixed and Purely Negative Implications from Purely Positive Ones
نویسندگان
چکیده
The objective of this article is to study the problem of generating implications with negation when only a set of purely positive implications related to a formal context K = (G,M, I) is provided. To that end, we define a sound and complete inference system which includes a characterization of implications whose left-hand side is a key in the context K|K̃ representing the apposition of the context K and its complementary K̃.
منابع مشابه
Generating an Indoor space routing graph using semantic-geometric method
The development of indoor Location-Based Services faces various challenges that one of which is the method of generating indoor routing graph. Due to the weaknesses of purely geometric methods for generating indoor routing graphs, a semantic-geometric method is proposed to cover the existing gaps in combining the semantic and geometric methods in this study. The proposed method uses the CityGML...
متن کاملPredictive Ability of Statistical Genomic Prediction Methods When Underlying Genetic Architecture of Trait Is Purely Additive
A simulation study was conducted to address the issue of how purely additive (simple) genetic architecture might impact on the efficacy of parametric and non-parametric genomic prediction methods. For this purpose, we simulated a trait with narrow sense heritability h2= 0.3, with only additive genetic effects for 300 loci in order to compare the predictive ability of 14 more practically used ge...
متن کاملInfectious diseases due to Ewingella americana
Ewingella americana are Gram-negative, oxidase-negative, catalase-positive, lactose-fermenting, and bacterium that is as a new genus and species in the family Enterobacteriaceae. Ewingella americana is very public in some potatoes and mushrooms, in which it can cause a browning disorder called internal stipe necrosis. However, in humans, the discovery of Ewingella americana in the tissues and b...
متن کاملNusselt Number Estimation along a Wavy Wall in an Inclined Lid-driven Cavity using Adaptive Neuro-Fuzzy Inference System (ANFIS)
In this study, an adaptive neuro-fuzzy inference system (ANFIS) was developed to determine the Nusselt number (Nu) along a wavy wall in a lid-driven cavity under mixed convection regime. Firstly, the main data set of input/output vectors for training, checking and testing of the ANFIS was prepared based on the numerical results of the lattice Boltzmann method (LBM). Then, the ANFIS was develope...
متن کاملA Systematic Review of Banking Business Models with an Approach to Sustainable Development
Modern banks have shifted their function as purely administrative, economic and industrial entities into socio-political institutions that must be sensitive to the surrounding environment. This function has always been neglected. This study was conducted based on primary, secondary, and tertiary data and reviews the full text of 75 studies selected from more than 245 studies. The selected elect...
متن کامل